Buy Used and New Scott Smolka Books

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint ... 7795 (Lecture Notes in Computer Science)

by Nir Piterman, Scott Smolka

ISBN 13: 9783642367410

Format: Paperback (672 pages)
Publisher: Springer
Published: 20 Feb 2013

Save for later

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science)

by Insup Lee,Scott Smolka

ISBN 13: 9783540602187

Format: Paperback (564 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later